It should not only be possible to reason about a knowledge representation, but also to do so efficiently, with acceptable levels of computatonal power to be economc and sufficiently quickly to be useful.
Used in Chap. 2: pages 14, 16, 19, 21
It should not only be possible to reason about a knowledge representation, but also to do so efficiently, with acceptable levels of computatonal power to be economc and sufficiently quickly to be useful.
Used in Chap. 2: pages 14, 16, 19, 21